1

Finite type structures within combinatory algebras

Inge Bethke
Journal:
Annals of Pure and Applied Logic
Year:
1991
Language:
english
File:
PDF, 1.35 MB
english, 1991
2

The structure of finite meadows

Bethke, Inge, Rodenburg, Piet, Sevenster, Arjen
Journal:
Journal of Logical and Algebraic Methods in Programming
Year:
2015
Language:
english
File:
PDF, 242 KB
english, 2015
3

Coherence spaces are untopological

Inge Bethke
Journal:
Theoretical Computer Science
Year:
1991
Language:
english
File:
PDF, 246 KB
english, 1991
6

Straight-line Instruction Sequence Completeness for

Jan A. Bergstra, Inge Bethke
Journal:
Theory of Computing Systems
Year:
2011
Language:
english
File:
PDF, 790 KB
english, 2011
7

On the Contribution of Backward Jumps to Instruction Sequence Expressiveness

Jan A. Bergstra, Inge Bethke
Journal:
Theory of Computing Systems
Year:
2012
Language:
english
File:
PDF, 546 KB
english, 2012
8

Decision problems for pushdown threads

Jan A. Bergstra, Inge Bethke, Alban Ponse
Journal:
Acta Informatica
Year:
2007
Language:
english
File:
PDF, 318 KB
english, 2007
9

Typability in Partial Applicative Structures

Inge Bethke, Piet Rodenburg
Journal:
Journal of Logic, Language and Information
Year:
2011
Language:
english
File:
PDF, 133 KB
english, 2011
10

Descendants and Origins in Term Rewriting

Inge Bethke, Jan Willem Klop, Roel de Vrijer
Journal:
Information and Computation
Year:
2000
Language:
english
File:
PDF, 1.75 MB
english, 2000
12

Equations for formally real meadows

Bergstra, Jan A., Bethke, Inge, Ponse, Alban
Journal:
Journal of Applied Logic
Year:
2015
Language:
english
File:
PDF, 435 KB
english, 2015
13

The initial meadows

Bethke, Inge, Rodenburg, Piet
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 595 KB
english, 2010
15

Note on paraconsistency and reasoning about fractions

Bergstra, Jan A., Bethke, Inge
Journal:
Journal of Applied Non-Classical Logics
Year:
2015
Language:
english
File:
PDF, 435 KB
english, 2015
16

Extending partial combinatory algebras

BETHKE, INGE, KLOP, JAN WILLEM, de VRIJER, ROEL
Journal:
Mathematical Structures in Computer Science
Year:
1999
Language:
english
File:
PDF, 305 KB
english, 1999
18

Typability in Partial Applicative Structures

Inge Bethke and Piet Rodenburg
Journal:
Journal of Logic, Language and Information
Year:
2011
Language:
english
File:
PDF, 583 KB
english, 2011
19

EQUATIONAL CONSTRUCTOR INDUCTION

Bethke, Inge, Rodenburg, Piet
Journal:
Fundamenta Informaticae
Year:
1996
File:
PDF, 536 KB
1996